<html>
<head><meta charset="utf-8"><title>deICEing · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html">deICEing</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="170520365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170520365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170520365">(Jul 10 2019 at 07:56)</a>:</h4>
<p>Has anyone already written a program that takes rust source, replaces some {...} with {unimplemented!()} and checks it gets the same compiler error message and repeates? I feel like there should be a deice tool that I can run on some code that ICEs to minimise it before I try and do it manually. (I'm sure there's other applications of a tool such as that). Is there one already I can use / improve or do I get to code one up?</p>



<a name="170523038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170523038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170523038">(Jul 10 2019 at 08:44)</a>:</h4>
<p>next question will be is there a robust (can handle errors well) ast manipulation tree available? I should probably look at rust fix shouldn't I... that changes rust code.</p>



<a name="170525492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170525492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170525492">(Jul 10 2019 at 09:25)</a>:</h4>
<p>c-reduce kinda works on simple rust code, it'd be amazingly useful if it supported more</p>



<a name="170540571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170540571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170540571">(Jul 10 2019 at 13:21)</a>:</h4>
<p>There was something recently...</p>



<a name="170540656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170540656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170540656">(Jul 10 2019 at 13:22)</a>:</h4>
<p><a href="https://github.com/jethrogb/rust-reduce" target="_blank" title="https://github.com/jethrogb/rust-reduce">https://github.com/jethrogb/rust-reduce</a></p>



<a name="170540740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170540740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170540740">(Jul 10 2019 at 13:23)</a>:</h4>
<p>fuzzy-pickles has a mutable AST visitor</p>



<a name="170541011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170541011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170541011">(Jul 10 2019 at 13:26)</a>:</h4>
<p>one of my future ideas is a "regex on steroids" where you can say like <code>s/$x = $x + $y/\0 += \1</code> (made up, unrealistic syntax)</p>



<a name="170541062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170541062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170541062">(Jul 10 2019 at 13:27)</a>:</h4>
<p>To be able to do customized code transforms, something I envy from other languages.</p>



<a name="170542184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170542184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170542184">(Jul 10 2019 at 13:41)</a>:</h4>
<p>or maybe you can adapt <span class="user-mention" data-user-id="116083">@pnkfelix</span>'s <a href="https://github.com/rust-lang/rust/pull/19964" target="_blank" title="https://github.com/rust-lang/rust/pull/19964">"everybody loops"</a> to randomize which body to turn into a loop :)</p>



<a name="170566407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170566407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170566407">(Jul 10 2019 at 18:24)</a>:</h4>
<p>I just reviewed a master thesis on a "regex for asts" and we're gonna integrate it with clippy</p>



<a name="170566457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170566457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170566457">(Jul 10 2019 at 18:25)</a>:</h4>
<p>You can find an early version in the clippy PR list (search for pattern or RFC)</p>



<a name="170568484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170568484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170568484">(Jul 10 2019 at 18:48)</a>:</h4>
<p>Well, I guess I <em>could</em> have gotten a Masters. I always assumed all my ideas were ones people had already done.</p>



<a name="170568735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170568735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170568735">(Jul 10 2019 at 18:50)</a>:</h4>
<p>And of course, now it <em>is</em> done, so I'm back in the same state</p>



<a name="170569909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/170569909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#170569909">(Jul 10 2019 at 19:06)</a>:</h4>
<p><a href="http://coccinelle.lip6.fr/" target="_blank" title="http://coccinelle.lip6.fr/">http://coccinelle.lip6.fr/</a> is one of the best at that AFAICT, rust support for <em>that</em> would also be amazing (but I've been told by someone who worked on it that it wouldn't be easy etc)</p>



<a name="171587286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/deICEing/near/171587286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Giles Cope <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/deICEing.html#171587286">(Jul 24 2019 at 08:22)</a>:</h4>
<p>Rust-reduce includes everybody loops among other things. It worked well to bring a large project down to something much more managable.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>